DROPS

Document

Invited Talk

DOI: 10.4230/LIPIcs.CSL.2015.1

The Prophecy of Timely Rollback (Invited Talk)

Authors: Martín Abadi

Published in: LIPIcs, Volume 41, 24th EACSL Annual Conference on Computer Science Logic (CSL 2015)

Abstract

Techniques for rollback recovery play a central role in ensuring fault-tolerance in many distributed systems. This talk addresses the formal specification and analysis of those techniques. In particular, we will discuss the relevance of prophecy variables (auxiliary program variables whose values are defined in terms of current program state and future behavior) to reasoning about systems with undo operations. We will then focus on a model for data-parallel computation with a notion of virtual time. In this model, rollbacks allow the selective undo of work at particular virtual times. A refinement theorem ensures the consistency of rollbacks. This talk is largely based on joint work with Michael Isard.

Cite as

Martín Abadi. The Prophecy of Timely Rollback (Invited Talk). In 24th EACSL Annual Conference on Computer Science Logic (CSL 2015). Leibniz International Proceedings in Informatics (LIPIcs), Volume 41, p. 1, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2015)

Copy BibTex To Clipboard

@InProceedings{abadi:LIPIcs.CSL.2015.1,
  author =	{Abadi, Mart{\'\i}n},
  title =	{{The Prophecy of Timely Rollback}},
  booktitle =	{24th EACSL Annual Conference on Computer Science Logic (CSL 2015)},
  pages =	{1--1},
  series =	{Leibniz International Proceedings in Informatics (LIPIcs)},
  ISBN =	{978-3-939897-90-3},
  ISSN =	{1868-8969},
  year =	{2015},
  volume =	{41},
  editor =	{Kreutzer, Stephan},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.CSL.2015.1},
  URN =		{urn:nbn:de:0030-drops-54452},
  doi =		{10.4230/LIPIcs.CSL.2015.1},
  annote =	{Keywords: Dataflow, refinement, rollback}
}

Search Results

Documents authored by Abadi, Martín

The Prophecy of Timely Rollback (Invited Talk)

Abstract

Cite as

Thanks for your feedback!

Could not send message